alpha :: Reader () a -> Maybe a